Johnson University

Results: 2739



#Item
591Data types / Software bug / Linux kernel / Kernel / Linux / Pointer / Programming language / Type inference / Computing / Software / Type theory

Verifying Security Properties using Type-Qualifier Inference by Robert Timothy Johnson B.S. (University of North Carolina at Greensboro[removed]A dissertation submitted in partial satisfaction

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:40
592Philosophical logic / Propositional calculus / Logical consequence / Binary operations / Entailment / Belief revision / Conditional statement / Causality / Argument / Logic / Science / Conditionals

Why Believability Cannot Explain Belief Revision Uri Hasson ([removed]) Psychology Department, Princeton University Princeton, NJ[removed]USA Philip N. Johnson-Laird ([removed])

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:36:08
593IEEE 802.1aq / Routing / Linked list / Network theory / Distributed data storage / IEEE 802

Diagnosis of Ambiguous Faults in Simple Networks Geoffrey P. Goodwin ([removed]) Department of Psychology, Green Hall, Princeton University Princeton, NJ[removed]USA P. N. Johnson-Laird ([removed])

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:37:21
594Reasoning / Logical consequence / Thought / Deduction / Philosophical logic / Mental model / Inference / Argument / Entailment / Logic / Philosophy / Science

Memory & Cognition 2000, 28 (6), [removed]How to eliminate illusions in quantified reasoning YINGRUI YANG and P. N. JOHNSON-LAIRD Princeton University, Princeton, New Jersey

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:35:02
595Propositional calculus / Logical consequence / Logical syntax / Inference / Mental model / Entailment / Proposition / Argument / Rule of inference / Logic / Reasoning / Deduction

Psychologica Belgica 2010, 50-3&4, [removed]Against logical form P.N. Johnson-Laird Princeton University, New Jersey, USA

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:40:33
596University of Newcastle / Lighthouse of Alexandria / Egyptian Revival architecture / Architecture / Newcastle upon Tyne / Association of Commonwealth Universities / Architectural history / Newcastle /  New South Wales

Marguerite Johnson What to Look for in a Mayor; or Classical Reception in the Coalopolis Recent scholarship on the Classical tradition, as it applies to the physical, architectural construction and features of nations or

Add to Reading List

Source URL: uoncc.files.wordpress.com

Language: English - Date: 2013-03-18 16:48:43
597Behavioural sciences / Design of experiments / Social psychology / Experiment / Mechanism / Truth / Psychology / Philosophy / Behavior / Science

Explanations make inconsistencies harder to detect Sangeet Khemlani and P.N. Johnson-Laird {khemlani, phil}@princeton.edu Department of Psychology Princeton University Princeton, NJ[removed]USA

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-09-06 02:48:15
598Physics / Collision detection / Bounding volume / Ming C. Lin / Collision / Octree / Gilbert–Johnson–Keerthi distance algorithm / Quadtree / Inflation / 3D computer graphics / Computer graphics / Geometry

Hierarchical Techniques in Collision Detection for Cloth Animation J. Mezger, S. Kimmerle, O. Etzmuß, WSI/GRIS University of T¨ubingen Sand 14,

Add to Reading List

Source URL: wscg.zcu.cz

Language: English - Date: 2002-12-20 10:39:48
599Deduction / Logical consequence / Propositional calculus / Thought / Mental model / Reason / Argument / Deductive reasoning / Interpretation / Logic / Science / Reasoning

Journal of Experimental & Theoretical Artificial Intelligence Vol. 18, No. 2, June 2006, 121–148 Models and heterogeneous reasoning P. N. JOHNSON-LAIRD* Department of Psychology, Princeton University, Green Hall, Princ

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:38:59
600Pintupi / Australian art / Papunya Tula / Year of birth missing / Papunya /  Northern Territory / Indigenous Australian art / Geoffrey Bardon / Vivien Johnson / Mick Namarari Tjapaltjarri / Australian Aboriginal art / Arts in Australia / Indigenous peoples of Australia

‘Icons of the Desert’ Exhibition, Herbert F Johnson Museum of Art, Cornell University, Ithaca, 2009. A Personal Response by Alec O’Halloran, February[removed]Introduction I decided to attend this exhibition rather im

Add to Reading List

Source URL: iconsofthedesert.com

Language: English - Date: 2010-02-16 14:31:22
UPDATE